Logical foundations for bipolar and tripolar argumentation networks: preliminary results
نویسندگان
چکیده
منابع مشابه
Argumentation Theoretic Foundations for Abstract Dependence Networks
In this paper we show how to argue about agreements based on dependence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with proposals for agreements represented as dependence networks. Second, we show that acceptable agreements are exchange based—satisfying the so-called do-ut-des principle— and not redundant. Third, to ...
متن کاملModal Provability Foundations for Argumentation Networks
Given an argumentation network we associate with it a modal formula representing the ‘logical content’ of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.
متن کاملLogical Modes of Attack in Argumentation Networks
This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of...
متن کاملGame-Theoretic Foundations for Argumentation
Game theory is becoming central to the design and analysis of computational mechanisms in which multiple entities interact strategically. In particular, the tools of mechanism design are used extensively to engineer incentives for truth-revelation into resource-allocation and preferenceaggregation protocols, as evident in the work on combinatorial auctions and voting. On the other hand, traditi...
متن کاملSequent-based logical argumentation
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2013
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/ext027